home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Power Programmierung
/
Power-Programmierung (Tewi)(1994).iso
/
magazine
/
drdobbs
/
1986
/
04
/
readme.apr
< prev
Wrap
Text File
|
1986-04-30
|
1KB
|
34 lines
APRIL
BROWN
* BRIE -- The Boca Raton Inference Engine
The accompanying files demonstrate a simple
resolution algorithm, together with factoring and
paramodulation. They also demonstrate an efficient
structure-sharing resolution algorithm that could form
the basis for a PROLOG inference engine. The BRIE
article in the April '85 DDJ discusses the additional
functions that need to be implemented to form a
complete PROLOG interpreter, and the programming
environment that is needed for an artificial
intelligence programmer to productively use the
system.
.LSP
* MuLISP source code for the Boyer-Moore structure sharing resolution
algoritm. By RJ Brown (DDJ April '86, #114). 8495 bytes
.LSP
* MuLISP source code for the Boca Raton Inference Engine (BRIE). (DDJ April
'86, #114) by RJ Brown. 7181 bytes
.PRO
MicroPROLOG source code for the family tree example used with RJ Brown's
Boca Raton Inference Engine (BRIE). (DDJ April '86, #114)
PARK EXPERT-2 GAME OF LIFE
* source code for a simple demo program which modlels the action of a celluar
automation in John Conway's Game of Life.Written in Expert-2 by Jack Park
(DDJ April '86, #114). 5903 bytes